c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function

fixed point models for theories of properties and classes Greg Restall* Philosophy Department The University of Melbourne

Source URL: consequently.org

QUASICONFORMAL HOMOGENEITY OF HYPERBOLIC SURFACES WITH FIXED-POINT FULL AUTOMORPHISMS PETRA BONFERT-TAYLOR, MARTIN BRIDGEMAN, RICHARD D. CANARY, AND EDWARD C. TAYLOR Abstract. We show that any closed hyperbolic surface

Source URL: www.math.lsa.umich.edu

On the computational content of the Krasnoselski and Ishikawa fixed point theorems Ulrich Kohlenbach BRICS⋆ Department of Computer Science, University of Aarhus,

Source URL: www.mathematik.tu-darmstadt.de

• Fixed-point theorems
• Metric geometry
• Topology
• Banach space
• Banach fixed-point theorem
• Contraction mapping
• Compact space
• Schauder fixed point theorem
• Metric space
• Lipschitz continuity
• Browder fixed point theorem
• ArzelAscoli theorem

Explicit Mathematics With The Monotone Fixed Point Principle. II: Models Michael Rathjen Department of Pure Mathematics University of Leeds England

Source URL: www1.maths.leeds.ac.uk

RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Differential forms
• Constructible universe
• Closed and exact differential forms
• Computability theory
• Combinatory logic
• Ordinal number
• Differential forms on a Riemann surface
• Banach fixed-point theorem

építôanyag § Journal of Silicate Based and Composite Materials Laboratory experiments of point fixed glasses Máté RÉNES

Source URL: en.epitoanyag.org.hu

Special Type of Fixed Point Pairs using MOD Rectangular Matrix Operators W. B. Vasantha Kandasamy

Source URL: fs.gallup.unm.edu

J. Fixed Point Theory Appl–243 DOIs11784Published online October 18, 2012 © Springer Basel AGJournal of Fixed Point Theory

Source URL: www.math.brown.edu

ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic

Source URL: ludovicpatey.com

• Computability theory
• Logic
• Proof theory
• Mathematics
• Mathematical logic
• Reverse mathematics
• Model theory
• Philosophy of mathematics
• Symbol
• Fixed-point theorems
• Primitive recursive functional
• Generalised Whitehead product